Preframe Presentations Present
نویسندگان
چکیده
Preframes (directed complete posets with finite meets that distribute over the directed joins) are the algebras for an infinitary essentially algebraic theory, and can be presented by generators and relations. This result is combined with a general argument concerning categories of commutative monoids to give a very short proof of the localic Tychonoff Theorem. It is also shown how frames can be presented as preframes, a result analogous to Johnstone’s construction of frames from sites, and an application is given.
منابع مشابه
Entailment systems for stably locally compact locales
The category SCFrU of stably continuous frames and preframe homomorphisms (preserving finite meets and directed joins) is dual to the Karoubi envelope of a category Ent whose objects are sets and whose morphisms X → Y are upper closed relations between the finite powersets FX and FY . Composition of these morphisms is the “cut composition” of Jung et al. that interfaces disjunction in the codom...
متن کاملThe Patch Construction is Dual to Algebraic DCPO Representation
Using the parallel between the preframe and the suplattice approach to locale theory it is shown that the patch construction, as an action on topologies, is the same thing as the process of recovering a discrete poset from its algebraic dcpo (ideal completion).
متن کاملClassifying Characteristic functions giving Weyl-Heisenberg Frames
If (fn) is a sequence of elements of an infinite dimensional Hilbert space H and (en) is an orthonormal basis for H , we define the preframe operator T : H → H by: Ten = fn. It follows that for any f ∈ H , T ∗f = ∑ n〈f, fn〉en. Hence, (fn) is a frame if and only if T ∗ is an isomorphism (called the frame transform) and in this case S = TT ∗ is an invertible operator on H called the frame operato...
متن کاملOn the parallel between the suplattice and preframe approaches to locale theory
This paper uses the locale theory approach to topology. Two descriptions are given of all locale limits, the first description using suplattice constructions and the second preframe constructions. The symmetries between these two approaches to locale theory are explored. Given an informal assumption that open locale maps are parallel to proper maps (an assumption hinted at by the underlying fin...
متن کاملSyntactic Feature of EFL Speakers’ Conference Presentations: The Case of Passive Voice and Pseudo-Cleft
Acquiring proficiency in academic genres is a key factor in research community. Among various genres in academic discourse communities, spoken genre, especially Conference Presentations (CPs), play a crucial role in research communities, though investigation on this important genre is in its infancy or is relatively under-researched. Therefore, the present study aims to shed light on the import...
متن کامل